Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
381	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.nexr.com Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
382	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.cardse.net Language: English Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
383	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.stat.nus.edu.sg Language: English Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
384	Geospatial Big Data for Finding Useful Insights from Machine Data Pouria Amirian, Francois Van Loggerenberg, Trudie Lang and Margaret Varga The Global Health Network, The University of Oxford November 6, 2014 Summary Th Add to Reading List Source URL: leeds.gisruk.org Language: English* - Date: 2015-04-19 18:21:15 Formal sciences Database management systems Database theory Business intelligence Cartography Analytics Geospatial analysis Data analysis Big data Technology Data management Science
385	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.hafro.is Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
386	Microsoft Word - GISRUK_2015_IsVGIBigData_acw Add to Reading List Source URL: leeds.gisruk.org Language: English - Date: 2015-04-19 18:22:06 Science Data management Collaborative mapping Volunteered geographic information Web mapping Geographic information system Data mining Geospatial analysis Twitter Technology Cartography Formal sciences
387	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.case.edu Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
388	Embedded Systems Conference April 3-7, San Jose [ESC-447] Safety-Critical Design Techniques for Secure and Reliable Systems Robert B. K. Dewar AdaCore Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:58 Ada programming language Program analysis Formal methods Avionics Type theory SPARK Ada Static program analysis Software bug Computing Software engineering Programming language theory
389	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.salud.gob.sv Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
390	A new, special initiative at SC\|05, HPC Analytics will " I expect HPC Analytics highlight rigorous and sophisticated methods of data analysis and visualization Add to Reading List Source URL: sc05.supercomputing.org Language: English - Date: 2005-03-01 21:29:15 Computing Parallel computing Formal sciences Computer graphics Scientific modeling High-performance computing Analytics Visualization Predictive analytics Business intelligence Science Business

UPDATE